% This file was created with JabRef 2.6.
% Encoding: UTF8
%Journal
@string {AIJ  = "Artificial Intelligence"}
@string {CACM = "Communications of the ACM"}
@STRING {CCTAIV = "Computer and Computing Technologies in Agriculture IV"}
@string {CSDICS = "IEEE Transations on Computer-Sided Design of Intergrated Circuits and Systems"}
@string {DPD = "Distributed and Parallel Databases"}
@string {DSS = "Decision Support Systems"}
@string (IEEEAC = "IEEE Transactions on Automatic Control")
@string (IEEEAES = "IEEE Transactions on Aerospace and Electronic Systems")
@string {IS = "Information Systems"}
@string {ISEBM = "Information Systems and e-Business Management"}
@string {JAIR = "Journal of Artificial Intelligence Research"}
@STRING {JSS = "Journal of Systems and Software"}
@STRING {JCSS = "Journal of Computer and System Sciences"}
@string {JCO = "Journal of Combinatorial Optimization"}
@STRING {KAIS = "Knowledge and Information Systems"}
@string {KBS = "Knowledge-Based Systems"}



%Conference 
@STRING {AAAI  = "Proc. of the National Conference on Artificial Intelligence"}
@string {ABSAAAI = "Proc. of the Workshop on Agent-Based Systems in the Business Context, National Conference on Artificial Intelligence"}
@string {ACMAC = "Proc. of the Annual ACM Symposium on Applied Computing"}
@string {ADC = "Proc. of the Australasian Database Conference"}
@string {AIIA = "Proc. of the Advances in Artificial Intelligence"}
@string {AIPS  = "Proc. of the International Conference on AI Planning and Scheduling"}
@string {AJCAAI = "Proc. of the Australian joint conference on Advances in artificial intelligence"}
@STRING {CAISE = "Proc. of the Conference on Advanced Information Systems Engineering"}
@STRING {CAV = "Proc. of the  International Conference on Computer-Aided Verification"}
@string {CCAI = "Proc. of the Catalan Conference on Artificial Intelligence"}
@string {CCGRID= "Proc. of the IEEE International Symposium on Cluster Computing and the Grid"}
@string {COORDINATION = "Proc. of the International Conference on Coordination Models and Languages"}
@string {CP = "Proc. of the International Conference on Principles and Practice of Constraint Programming"}
@string {CTS = "Proc. of the International Symposium on the Collaborative Technologies and Systems"}
@string {DAC = "Proc. of the Annual ACM IEEE Design Automation Conference"}
@string {DESA = "Proc. of the International Conference on Database and Expert Systems Applications"}
@STRING {ECAI = "Proc. of the European Conference on Artificial Intelligence"}
@string (ECML = "Proc. of the European Conference on Machine Learning")
@string {GIJ-2 = "Proc. of GI Jahrestagung(2)"}
@string {HICSS = "Proc. of the Hawaii International Conference on System Sciences"}
@string {ICSOC = "Proc. of International Conference on Service-Oriented Computing"}
@string {ICAPS = "Proc. of the International Conference on Automated Planning and Scheduling "}
@string {ICCAD = "Proc. of the International Conference on Computer-Aided Design"}
@string {IJCAI = "Proc. of the International Joint Conference on Artificial Intelligence"}
@string {IJCAI-PR = "Proc. of the Workshop on Planning with Resources, International Joint Conference on Artificial Intelligence"}
@string {IPCICAPS = "Proc. of the Workshop on International Planning Competition, International Conference on Automated Planning and Scheduling"}
@string {ICAPS-COPLAS = "Proc. of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, International Conference on Automated Planning and Scheduling"}
@string {JELIA = "Proc. of the European Conference on Logics in Artificial Intelligence"}
@string {ICEIS = "Proc. of the International Conference on Enterprise Information Systems"}
@string {KR = "Proc. of the International Conference on Knowledge Representation and Reasoning"}
@string {MIDDLEWARE = "Proc. of the International Middleware Conference"}
@STRING {OTM-W = "Proc. of the On the Move to Meaningful Internet Systems: OTM Workshops"}
@string {PWS-ICAPS = "Proc. of the Workshop on Planning for Web Services, International Conference on Automated Planning and Scheduling"}
@string {SAT = "Proc. of the International Conference on Theory and Applications of Satisfiability Testing"}
@string {SASO = "Proc. of the International Conference on Self-Adaptive and Self-Organizing Systems"}
@string {SWSWPC= "Proc. of the International Workshop on Semantic Web Services and Web Process Composition"}
@string {WECWIS= "Proc. of the IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems"}
@string {WWW = "Proc. of the International Conference on World Wide Web (Alternate Track Papers \& Posters)"}
@string {WWWC = "Proc. of the World Wide Web Conference"}
@string {WETICE = "Proc. of International Workshops on Enabling Technologies, Infrastructure for Collaborative Enterprises"}


@article{Blum97,
author = "Avrim Blum and Merrick Furst",
title = "Fast Planning Through Planning Graph Analysis",
journal = AIJ,
volume = 90,
pages = "281-300",
year = 1997
}


@INPROCEEDINGS{Kautz96,
  AUTHOR  = "Henry Kautz and Bart Selman",
  TITLE   = "Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search",
  BOOKTITLE=AAAI,
  YEAR    = 1996,
  PAGES   = "1194-1201"
}

@INPROCEEDINGS{Kautz92,
  AUTHOR  = "Henry Kautz and Bart Selman",
  TITLE   = "Planning as Satisfiability",
  BOOKTITLE=ECAI,
  YEAR    = {1992},
}


@ARTICLE{Een:TAST-04,
  AUTHOR =       {N. E\'{e}n and N. S\"{o}rensson},
  TITLE =        {An {E}xtensible {SAT}-solver},
  JOURNAL =      {Theory and Applications of Satisfiability Testing},
  YEAR =         {2004},
  pages =        {502-518},
}

@inproceedings{Fu06,
  author = {Fu, Zhaohui and Malik, Sharad},
  title = {Solving the minimum-cost satisfiability problem using {SAT} based branch-and-bound search},
  booktitle = {ICCAD '06: Proc. of the 2006 IEEE/ACM Int'l Joint Conf. on Computer-aided design},
  year = {2006},
  isbn = {1-59593-389-1},
  pages = {852--859},
  location = {San Jose, California},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@inproceedings{Larrosa09,
 author = {Larrosa, Javier and Nieuwenhuis, Robert and Oliveras, Albert and Rodr\'{\i}guez-Carbonell, Enric},
 title = {Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates},
 booktitle = {Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing},
 series = {SAT '09},
 year = {2009},
 isbn = {978-3-642-02776-5},
 location = {Swansea, UK},
 pages = {453--466},
 numpages = {14},
 acmid = {1575526}
}


@inproceedings{Planes03,
  author    = {Jordi Planes},
  title     = {Improved Branch and Bound Algorithms for {Max-2-SAT} and Weighted {Max-2-SAT}},
  booktitle = {CP},
  year      = {2003},
  pages     = {991}
}

@INPROCEEDINGS{Moskewicz:DAC-01,
  AUTHOR =       {M. W. Moskewicz and C. F. Madigan and Y. Zhao and L. Zhang and S. Malik},
  TITLE =        {{C}haff: {E}ngineerying an {E}fficient {SAT} {S}olver},
  BOOKTITLE =    {Proc. of the 38th Design Automation Conference},
  YEAR =         {2001},
}


@INPROCEEDINGS{Marques96,
  AUTHOR =       {J. P. Marques-Silva and K. A. Sakallah},
  TITLE =        {{GRASP-A} {N}ew {S}earch {A}lgorithm for {S}atisfiability},
  BOOKTITLE =    {ICCAD. IEEE Computer Society Press},
  YEAR =         {1996}
}

@INPROCEEDINGS{zhang:CAV-02,
  AUTHOR =       {L. Zhang and S. Malik},
  TITLE =        {The quest for efficient Boolean satisfiability solvers},
  BOOKTITLE =    {Proc. of the 14th int'l conference on computer-aided verification},
  YEAR =         {2002},
  publisher =    {Springer},
  volume =       {2404},
  pages =        {17-36}
}


@INPROCEEDINGS{Davis62,
  AUTHOR =       {M. Davis and G. Logemann and D. Loveland},
  TITLE =        {A machine program for theorem proving},
  BOOKTITLE =    {Communications of the ACM},
  YEAR =         {1962},
  volume =       {5}
}


@CONFERENCE{Bertoli09,
  author = {Bertoli, P. and Kazhamiakin, R. and Paolucci, M. and others},
  title = {{Continuous orchestration of Web services via planning}},
  booktitle = {Proceedings of the Nineteenth International Conference on Automated
	Planning and Scheduling (ICAPS)},
  year = {2009},
  owner = {Guobing Zou},
  timestamp = {2011.05.10}
}

@CONFERENCE{Falou10,
  author = {Falou, M. E. and Bouzid, M. and Mouaddib, A. I. and others},
  title = {{A distributed planning approach for Web services composition}},
  booktitle = {Proceedings of the IEEE International Conference on Web Services
	(ICWS)},
  year = {2010},
  owner = {Guobing Zou},
  timestamp = {2011.05.10}
}

@CONFERENCE{Giacomo09,
  author = {Giacomo, G. D. and Masellis, R. D. and Patrizi, F.},
  title = {{Composition of partially observable services exporting their behaviour}},
  booktitle = {Proceedings of the Nineteenth International Conference on Automated
	Planning and Scheduling (ICAPS)},
  year = {2009},
  pages = {90--97},
  __markedentry = {[Guobing Zou]},
  owner = {Guobing Zou},
  timestamp = {2011.05.11}
}

@ARTICLE{El10,
  author = {Haddad, J. E. and Manouvrier, M. and Rukoz, M.},
  title = {{TQoS: Transactional and QoS-aware selection algorithm for automatic
	Web service composition}},
  journal = {IEEE Transactions on Services Computing},
  year = {2010},
  volume = {3},
  pages = {73--85},
  number = {4},
  issn = {1939-1374}
}

@ARTICLE{Hoffmann09,
  author = {Hoffmann, J. and Bertoli, P. and Helmert, M. and others},
  title = {{Message-based Web service composition, integrity constraints, and
	planning under uncertainty: A new connection}},
  journal = {Journal of Artificial Intelligence Research},
  year = {2009},
  volume = {35},
  pages = {49--117},
  number = {1},
  issn = {1076-9757},
  owner = {Guobing Zou},
  publisher = {AI Access Foundation},
  timestamp = {2011.05.10}
}

@CONFERENCE{Hoffmann07,
  author = {Hoffmann, J. and Bertoli, P. and Pistore, M.},
  title = {{Web service composition as planning, revisited: In between background
	theories and initial state uncertainty}},
  booktitle = {Proceedings of the National Conference on Artificial Intelligence
	(AAAI)},
  year = {2007},
  owner = {Guobing Zou},
  timestamp = {2011.05.10}
}


@ARTICLE{Hoffmann03,
  author = {Hoffmann, J. and others},
  title = {{The Metric-FF planning system: Translating ignoring delete lists to numeric state variables}},
  journal = {Journal of Artificial Intelligence Research},
  year = {2003},
  volume = {20},
  pages = {291--341},
  number = {1},
  owner = {Guobing Zou},
  publisher = {AI Access Foundation},
  timestamp = {2011.05.10}
}

@ARTICLE{Hwang08,
  author = {Hwang, S. Y. and Lim, E. P. and Lee, C. H. and others},
  title = {{Dynamic Web service selection for reliable Web service composition}},
  journal = {IEEE Transactions on Services Computing},
  year = {2008},
  volume = {1},
  pages = {104--116},
  number = {2},
  issn = {1939-1374},
  owner = {Guobing Zou},
  timestamp = {2011.05.10}
}

@CONFERENCE{Jaeger04,
  author = {Jaeger, M. C. and Rojec-Goldmann, G. and M\'{u}hl, G.},
  title = {{QoS aggregation for Web service composition using workflow patterns}},
  booktitle = {Proceedings of the 8th IEEE International Enterprise Distributed
	Object Computing Conference (EDOC 2004)},
  pages = {149--159},
  isbn = {0769522149},
  issn = {1541-7719}
}

@CONFERENCE{Klusch05,
  author = {Klusch, M. and Gerber, A. and Schmidt, M.},
  title = {{Semantic Web service composition planning with OWLS-XPlan}},
  booktitle = {Proceedings of the AAAI Fall Symposium on Semantic Web and Agents},
  year = {2005},
  owner = {Guobing Zou},
  timestamp = {2011.05.11}
}

@CONFERENCE{Liu04,
  author = {Liu, Y. and Ngu, A. H. and Zeng, L. Z.},
  title = {QoS computation and policing in dynamic Web service selection},
  booktitle = {Proceedings of the 13th International World Wide Web Conference (WWW)},
  year = {2004},
  pages = {66--73}
}

@ARTICLE{Menasce04,
  author = {Menasc\'{e}, D. A.},
  title = {{Composing Web services: A QoS view}},
  journal = {IEEE Internet Computing},
  year = {2004},
  volume = {8},
  pages = {88--90},
  number = {6},
  issn = {1089-7801}
}

@ARTICLE{Oh07,
  author = {Oh, S. C. and Lee, D. and Kumara, S. R.T.},
  title = {{Web Service Planner (WSPR): An effective and scalable Web service
	composition algorithm}},
  journal = {International Journal of Web Services Research},
  year = {2007},
  volume = {4},
  pages = {1--23},
  number = {1},
  owner = {Guobing Zou},
  timestamp = {2011.05.10}
}

@ARTICLE{Oh08,
  author = {Oh, S. C. and Lee, D. and Kumara, S. R. T.},
  title = {{Effective Web service composition in diverse and large-scale service
	networks}},
  journal = {IEEE Transactions on Services Computing},
  year = {2008},
  pages = {15--32},
  owner = {Guobing Zou},
  timestamp = {2011.05.10}
}

@CONFERENCE{Pistore05a,
  author = {Pistore, M. and Marconi, A. and Bertoli, P. and others},
  title = {{Automated composition of Web services by planning at the knowledge
	level}},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence
	(IJCAI)},
  year = {2005},
  owner = {Guobing Zou},
  timestamp = {2011.05.10}
}

@CONFERENCE{Pistore05,
  author = {Pistore, M. and Traverso, P. and Bertoli, P.},
  title = {{Automated composition of Web services by planning in asynchronous
	domains}},
  booktitle = {Proceedings of the Nineteenth International Conference on Automated
	Planning and Scheduling (ICAPS)},
  year = {2005},
  owner = {Guobing Zou},
  timestamp = {2011.05.10}
}

@ARTICLE{Rao05,
  author = {Rao, J. and Su, X.},
  title = {{A survey of automated Web service composition methods}},
  journal = {Lecture Notes in Computer Science},
  year = {2005},
  volume = {3387},
  pages = {43--54}
}

@ARTICLE{Sirin04,
  author = {Sirin, E. and Parsia, B. and Wu, D. and others},
  title = {{HTN planning for Web service composition using SHOP2}},
  journal = {Journal of Web Semantics},
  year = {2004},
  volume = {1},
  pages = {377--396},
  number = {4},
  owner = {Guobing Zou},
  timestamp = {2011.05.10}
}

@CONFERENCE{Wu07,
  author = {Wu, B. Y. and Chi, C. H. and Xu, S.},
  title = {{Service selection model based on QoS reference vector}},
  booktitle = {Proceedings of the 2007 IEEE Congress on Services (SERVICES 2007)},
  pages = {270--277}
}

@ARTICLE{Zeng04,
  author = {Zeng, L. and Benatallah, B. and Ngu, A. H. H. and others},
  title = {{QoS-aware middleware for Web services composition}},
  journal = {IEEE Transactions on Software Engineering},
  year = {2004},
  volume = {30},
  pages = {311--327},
  number = {5},
  issn = {0098-5589}
}

@CONFERENCE{Zhang07,
  author = {Zhang, W. and Yang, Y. and Tang, S. and others},
  title = {{QoS-driven service selection optimization model and algorithms for
	composite Web services}},
  booktitle = {Proceedings of the 31st Annual International Computer Software and
	Applications Conference (COMPSAC 2007)},
  year = {2007},
  pages = {425--431},
  isbn = {0769528708}
}

@CONFERENCE{Zheng08,
  author = {Zheng, X. R. and Yan, Y. H.},
  title = {{An efficient syntactic Web service composition algorithm based on
	the planning graph model}},
  booktitle = {Proceedings of the IEEE International Conference on Web Services
	(ICWS)},
  year = {2008},
  owner = {Guobing Zou},
  timestamp = {2011.05.10}
}
